1. Automated reasoning : essays in honor of Woody Bledsoe
پدیدآورنده : edited by Robert S. Boyer
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991